<html>
<body>
Reports <b>catch</b> parameters that are unused in their
corresponding blocks. This inspection will not report any <b>catch</b> parameters
named "ignore" or "ignored".
</body>
</html>
